[next] [prev] [prev-tail] [tail] [up]

2.2 Detailed conclusion table per each integral for all CAS systems

Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.

In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA and IntegrateAlgebraic to I.A.

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 74 61 60 64 68 64 62 0

N.S.

1 1.00 1.00 0.82 0.81 0.86 0.92 0.86 0.84 0.00

time (sec)

N/A 0.082 0.015 0.000 0.452 1.225 0.071 0.286 0.036 0.000

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 74 61 60 64 68 64 62 0

N.S.

1 1.00 1.00 0.82 0.81 0.86 0.92 0.86 0.84 0.00

time (sec)

N/A 0.057 0.011 0.003 0.465 1.171 0.072 0.227 0.030 0.000

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 69 58 57 61 65 61 59 0

N.S.

1 1.00 1.00 0.84 0.83 0.88 0.94 0.88 0.86 0.00

time (sec)

N/A 0.036 0.012 0.000 0.455 1.062 0.069 0.377 0.029 0.000

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 65 60 55 55 63 60 57 0

N.S.

1 1.00 1.00 0.92 0.85 0.85 0.97 0.92 0.88 0.00

time (sec)

N/A 0.040 0.015 0.002 0.604 1.287 0.157 0.372 0.036 0.001

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 63 57 55 62 58 57 56 0

N.S.

1 1.00 1.00 0.90 0.87 0.98 0.92 0.90 0.89 0.00

time (sec)

N/A 0.051 0.022 0.006 0.680 1.234 0.175 0.299 0.037 0.001

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 58 58 55 62 61 58 56 0

N.S.

1 1.00 0.92 0.92 0.87 0.98 0.97 0.92 0.89 0.00

time (sec)

N/A 0.048 0.038 0.010 0.752 1.325 0.294 0.290 0.035 0.001

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 60 57 56 62 63 56 55 0

N.S.

1 1.00 0.95 0.90 0.89 0.98 1.00 0.89 0.87 0.00

time (sec)

N/A 0.051 0.045 0.007 0.659 1.255 0.521 0.369 0.033 0.001

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 62 58 56 62 63 57 56 0

N.S.

1 1.00 0.98 0.92 0.89 0.98 1.00 0.90 0.89 0.00

time (sec)

N/A 0.051 0.027 0.006 0.752 1.380 1.755 0.288 0.048 0.001

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

63 63 63 60 56 62 66 57 56 0

N.S.

1 1.00 1.00 0.95 0.89 0.98 1.05 0.90 0.89 0.00

time (sec)

N/A 0.052 0.054 0.007 0.739 1.283 5.698 0.259 0.777 0.001

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 68 63 59 62 70 60 60 0

N.S.

1 1.00 1.00 0.93 0.87 0.91 1.03 0.88 0.88 0.00

time (sec)

N/A 0.048 0.045 0.006 0.874 0.971 15.378 0.390 0.790 0.001

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 159 159 142 143 154 168 154 141 0

N.S.

1 1.00 1.00 0.89 0.90 0.97 1.06 0.97 0.89 0.00

time (sec)

N/A 0.214 0.044 0.001 1.134 1.141 0.093 0.406 0.817 0.000

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 159 159 142 143 154 163 154 141 0

N.S.

1 1.00 1.00 0.89 0.90 0.97 1.03 0.97 0.89 0.00

time (sec)

N/A 0.143 0.036 0.001 1.182 1.093 0.094 0.306 0.068 0.000

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

154 154 154 139 140 151 165 151 138 0

N.S.

1 1.00 1.00 0.90 0.91 0.98 1.07 0.98 0.90 0.00

time (sec)

N/A 0.111 0.029 0.002 0.629 0.978 0.093 0.300 0.070 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

150 150 150 149 138 138 156 149 135 0

N.S.

1 1.00 1.00 0.99 0.92 0.92 1.04 0.99 0.90 0.00

time (sec)

N/A 0.107 0.038 0.004 0.843 1.361 0.306 0.364 0.799 0.001

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

145 145 145 147 137 145 156 147 135 0

N.S.

1 1.00 1.00 1.01 0.94 1.00 1.08 1.01 0.93 0.00

time (sec)

N/A 0.121 0.091 0.007 0.734 1.527 0.322 0.282 0.797 0.001

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 139 148 139 145 153 148 135 0

N.S.

1 1.00 0.93 0.99 0.93 0.97 1.03 0.99 0.91 0.00

time (sec)

N/A 0.123 0.094 0.007 0.622 1.260 0.460 0.395 0.792 0.001

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 151 146 140 145 160 146 137 0

N.S.

1 1.00 1.01 0.98 0.94 0.97 1.07 0.98 0.92 0.00

time (sec)

N/A 0.137 0.077 0.009 0.681 1.381 0.719 0.284 0.059 0.001

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

148 148 130 144 139 145 153 142 134 0

N.S.

1 1.00 0.88 0.97 0.94 0.98 1.03 0.96 0.91 0.00

time (sec)

N/A 0.142 0.081 0.008 0.624 1.672 2.349 0.377 0.058 0.001

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

143 143 142 144 138 145 155 140 136 0

N.S.

1 1.00 0.99 1.01 0.97 1.01 1.08 0.98 0.95 0.00

time (sec)

N/A 0.147 0.077 0.009 0.612 1.474 7.809 0.292 0.054 0.001

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 144 148 140 145 158 141 136 0

N.S.

1 1.00 0.97 0.99 0.94 0.97 1.06 0.95 0.91 0.00

time (sec)

N/A 0.143 0.092 0.009 0.688 1.264 27.402 0.396 0.057 0.001

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

339 339 460 1622 0 0 0 5304 2588 0

N.S.

1 1.00 1.36 4.78 0.00 0.00 0.00 15.65 7.63 0.00

time (sec)

N/A 1.856 0.572 0.065 0.000 0.000 0.000 5.749 0.958 0.001

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

278 278 377 1171 0 0 0 3519 2696 0

N.S.

1 1.00 1.36 4.21 0.00 0.00 0.00 12.66 9.70 0.00

time (sec)

N/A 0.466 0.420 0.054 0.000 0.000 0.000 5.025 1.527 0.001

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

270 270 360 1327 0 0 0 3843 1890 0

N.S.

1 1.00 1.33 4.91 0.00 0.00 0.00 14.23 7.00 0.00

time (sec)

N/A 0.835 0.366 0.050 0.000 0.000 0.000 5.566 2.001 0.001

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

223 223 240 728 0 0 0 2369 5594 0

N.S.

1 1.00 1.08 3.26 0.00 0.00 0.00 10.62 25.09 0.00

time (sec)

N/A 0.213 0.359 0.040 0.000 0.000 0.000 5.359 1.885 0.001

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

211 211 234 616 0 0 0 1616 3942 0

N.S.

1 1.00 1.11 2.92 0.00 0.00 0.00 7.66 18.68 0.00

time (sec)

N/A 0.266 0.209 0.025 0.000 0.000 0.000 4.372 2.306 0.001

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

229 229 285 488 0 0 0 2336 2258 0

N.S.

1 1.00 1.24 2.13 0.00 0.00 0.00 10.20 9.86 0.00

time (sec)

N/A 0.259 0.445 0.037 0.000 0.000 0.000 5.075 1.493 0.001

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

260 260 315 811 0 0 0 3507 2588 0

N.S.

1 1.00 1.21 3.12 0.00 0.00 0.00 13.49 9.95 0.00

time (sec)

N/A 0.471 1.080 0.040 0.000 0.000 0.000 5.393 1.022 0.001

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

288 288 377 1054 0 0 0 3353 3563 0

N.S.

1 1.00 1.31 3.66 0.00 0.00 0.00 11.64 12.37 0.00

time (sec)

N/A 0.474 0.889 0.056 0.000 0.000 0.000 5.872 1.172 0.001

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

412 412 444 1429 0 0 0 5219 4754 0

N.S.

1 1.00 1.08 3.47 0.00 0.00 0.00 12.67 11.54 0.00

time (sec)

N/A 1.334 1.382 0.062 0.000 0.000 0.000 8.471 1.774 0.001

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

347 347 358 831 0 0 0 3228 3278 0

N.S.

1 1.00 1.03 2.39 0.00 0.00 0.00 9.30 9.45 0.00

time (sec)

N/A 0.618 0.894 0.044 0.000 0.000 0.000 5.369 1.613 0.001

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

356 356 378 1119 0 0 0 4440 3835 0

N.S.

1 1.00 1.06 3.14 0.00 0.00 0.00 12.47 10.77 0.00

time (sec)

N/A 0.902 1.039 0.055 0.000 0.000 0.000 7.049 1.671 0.001

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

317 317 335 1344 0 0 0 3013 3198 0

N.S.

1 1.00 1.06 4.24 0.00 0.00 0.00 9.50 10.09 0.00

time (sec)

N/A 0.415 1.249 0.177 0.000 0.000 0.000 5.173 1.595 0.001

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

368 368 393 1813 0 0 0 5158 4707 0

N.S.

1 1.00 1.07 4.93 0.00 0.00 0.00 14.02 12.79 0.00

time (sec)

N/A 0.867 1.224 0.151 0.000 0.000 0.000 7.849 1.675 0.001

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

403 403 458 1603 0 0 0 6022 8129 0

N.S.

1 1.00 1.14 3.98 0.00 0.00 0.00 14.94 20.17 0.00

time (sec)

N/A 0.932 1.473 0.063 0.000 0.000 0.000 6.553 1.838 0.001

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

514 514 559 2398 0 0 0 9015 8684 0

N.S.

1 1.00 1.09 4.67 0.00 0.00 0.00 17.54 16.89 0.00

time (sec)

N/A 1.486 2.027 0.085 0.000 0.000 0.000 11.545 2.468 0.001

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

534 534 655 2512 0 0 0 6938 10595 0

N.S.

1 1.00 1.23 4.70 0.00 0.00 0.00 12.99 19.84 0.00

time (sec)

N/A 1.992 2.470 0.096 0.000 0.000 0.000 7.565 2.773 0.001

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

399 399 296 5520 611 3898 0 7808 2443 0

N.S.

1 1.00 0.74 13.83 1.53 9.77 0.00 19.57 6.12 0.00

time (sec)

N/A 0.425 0.919 0.013 1.706 2.258 0.000 1.131 3.280 1.786

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

260 260 185 2187 344 1603 0 3203 1314 0

N.S.

1 1.00 0.71 8.41 1.32 6.17 0.00 12.32 5.05 0.00

time (sec)

N/A 0.223 0.277 0.010 1.731 1.656 0.000 0.725 1.810 1.368

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B A B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

137 137 90 585 155 444 3735 914 527 0

N.S.

1 1.00 0.66 4.27 1.13 3.24 27.26 6.67 3.85 0.00

time (sec)

N/A 0.088 0.104 0.005 0.815 1.291 2.575 0.533 1.075 0.644

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

356 356 378 1119 0 0 0 4440 3835 0

N.S.

1 1.00 1.06 3.14 0.00 0.00 0.00 12.47 10.77 0.00

time (sec)

N/A 0.924 1.038 0.000 0.000 0.000 0.000 7.038 0.004 0.001

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

356 356 378 1119 0 0 0 4440 3835 0

N.S.

1 1.00 1.06 3.14 0.00 0.00 0.00 12.47 10.77 0.00

time (sec)

N/A 0.371 0.425 0.036 0.000 0.000 0.000 7.135 1.551 0.001

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

356 356 378 1119 0 0 0 4439 3835 0

N.S.

1 1.00 1.06 3.14 0.00 0.00 0.00 12.47 10.77 0.00

time (sec)

N/A 0.370 0.154 0.039 0.000 0.000 0.000 6.896 1.474 0.001

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

356 356 378 1119 0 0 0 4439 3835 0

N.S.

1 1.00 1.06 3.14 0.00 0.00 0.00 12.47 10.77 0.00

time (sec)

N/A 0.356 0.154 0.034 0.000 0.000 0.000 7.311 1.389 0.001

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

356 356 378 1119 0 0 0 4439 3835 0

N.S.

1 1.00 1.06 3.14 0.00 0.00 0.00 12.47 10.77 0.00

time (sec)

N/A 0.359 0.153 0.033 0.000 0.000 0.000 6.836 1.414 0.001

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

273 273 260 622 0 900 0 306 2972 0

N.S.

1 1.00 0.95 2.28 0.00 3.30 0.00 1.12 10.89 0.00

time (sec)

N/A 0.854 0.199 0.007 0.000 2.562 0.000 1.868 1.604 0.001

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

203 203 193 474 0 677 0 214 2295 0

N.S.

1 1.00 0.95 2.33 0.00 3.33 0.00 1.05 11.31 0.00

time (sec)

N/A 0.424 0.143 0.006 0.000 2.388 0.000 2.005 1.626 0.001

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

144 144 136 321 0 473 0 141 1689 0

N.S.

1 1.00 0.94 2.23 0.00 3.28 0.00 0.98 11.73 0.00

time (sec)

N/A 0.272 0.099 0.006 0.000 1.373 0.000 1.987 1.300 0.001

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

103 103 100 211 0 318 0 99 1081 0

N.S.

1 1.00 0.97 2.05 0.00 3.09 0.00 0.96 10.50 0.00

time (sec)

N/A 0.179 0.066 0.004 0.000 1.128 0.000 1.780 1.830 0.001

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

97 97 178 165 0 309 0 97 3927 0

N.S.

1 1.00 1.84 1.70 0.00 3.19 0.00 1.00 40.48 0.00

time (sec)

N/A 0.200 0.137 0.009 0.000 1.750 0.000 1.903 8.881 0.001

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

118 118 203 227 0 399 0 135 4437 0

N.S.

1 1.00 1.72 1.92 0.00 3.38 0.00 1.14 37.60 0.00

time (sec)

N/A 0.285 0.150 0.010 0.000 2.145 0.000 1.777 7.857 0.001

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

174 174 314 356 0 609 0 212 6187 0

N.S.

1 1.00 1.80 2.05 0.00 3.50 0.00 1.22 35.56 0.00

time (sec)

N/A 0.407 0.345 0.012 0.000 3.384 0.000 1.719 9.917 0.001

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

244 244 416 523 0 834 0 313 9141 0

N.S.

1 1.00 1.70 2.14 0.00 3.42 0.00 1.28 37.46 0.00

time (sec)

N/A 0.573 0.348 0.013 0.000 6.639 0.000 1.941 13.829 0.001

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

369 369 456 1450 0 15467 0 7243 23332 0

N.S.

1 1.00 1.24 3.93 0.00 41.92 0.00 19.63 63.23 0.00

time (sec)

N/A 4.577 0.509 0.035 0.000 42.586 0.000 5.025 4.912 0.001

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

282 282 365 1035 0 9364 0 5461 15674 0

N.S.

1 1.00 1.29 3.67 0.00 33.21 0.00 19.37 55.58 0.00

time (sec)

N/A 3.590 0.492 0.030 0.000 7.852 0.000 4.755 3.359 0.001

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

219 219 258 676 0 5788 0 4086 10209 0

N.S.

1 1.00 1.18 3.09 0.00 26.43 0.00 18.66 46.62 0.00

time (sec)

N/A 0.637 0.326 0.027 0.000 4.073 0.000 3.908 3.360 0.001

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

213 213 253 563 0 5930 0 3988 10170 0

N.S.

1 1.00 1.19 2.64 0.00 27.84 0.00 18.72 47.75 0.00

time (sec)

N/A 0.839 0.302 0.025 0.000 2.209 0.000 5.936 3.515 0.001

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

267 267 284 727 0 9850 0 3813 15505 0

N.S.

1 1.00 1.06 2.72 0.00 36.89 0.00 14.28 58.07 0.00

time (sec)

N/A 1.065 0.339 0.027 0.000 11.248 0.000 3.442 4.763 0.001

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

329 329 394 1121 0 15830 0 6718 23019 0

N.S.

1 1.00 1.20 3.41 0.00 48.12 0.00 20.42 69.97 0.00

time (sec)

N/A 1.942 0.551 0.033 0.000 40.458 0.000 7.015 6.247 0.001

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

320 320 309 1167 0 2111 0 424 3499 0

N.S.

1 1.00 0.97 3.65 0.00 6.60 0.00 1.32 10.93 0.00

time (sec)

N/A 1.233 0.497 0.024 0.000 1.867 0.000 1.952 1.333 0.001

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

236 236 236 832 0 1455 0 279 2450 0

N.S.

1 1.00 1.00 3.53 0.00 6.17 0.00 1.18 10.38 0.00

time (sec)

N/A 0.440 0.356 0.017 0.000 1.149 0.000 1.865 1.811 0.001

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

165 165 175 336 0 970 0 195 1651 0

N.S.

1 1.00 1.06 2.04 0.00 5.88 0.00 1.18 10.01 0.00

time (sec)

N/A 0.287 0.249 0.015 0.000 1.004 0.000 1.838 2.717 0.001

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A F(-2) B B A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

123 123 130 205 0 650 474 140 342 0

N.S.

1 1.00 1.06 1.67 0.00 5.28 3.85 1.14 2.78 0.00

time (sec)

N/A 0.184 0.102 0.012 0.000 0.885 38.035 2.167 0.378 0.001

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

166 166 268 462 0 1103 0 227 8706 0

N.S.

1 1.00 1.61 2.78 0.00 6.64 0.00 1.37 52.45 0.00

time (sec)

N/A 0.394 0.445 0.017 0.000 3.328 0.000 2.001 11.849 0.001

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

234 234 403 722 0 1764 0 287 11879 0

N.S.

1 1.00 1.72 3.09 0.00 7.54 0.00 1.23 50.76 0.00

time (sec)

N/A 0.725 0.658 0.023 0.000 7.267 0.000 1.846 12.979 0.001

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) B F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

329 329 592 1078 0 2567 0 535 15905 0

N.S.

1 1.00 1.80 3.28 0.00 7.80 0.00 1.63 48.34 0.00

time (sec)

N/A 1.157 1.216 0.029 0.000 15.903 0.000 1.888 21.016 0.001

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

550 550 648 2558 0 0 0 8957 33799 0

N.S.

1 1.00 1.18 4.65 0.00 0.00 0.00 16.29 61.45 0.00

time (sec)

N/A 13.227 2.131 0.056 0.000 0.000 0.000 9.044 4.104 0.001

Problem 67

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

436 436 511 1977 0 12597 0 7496 25862 0

N.S.

1 1.00 1.17 4.53 0.00 28.89 0.00 17.19 59.32 0.00

time (sec)

N/A 5.541 1.542 0.052 0.000 31.024 0.000 8.250 2.648 0.001

Problem 68

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

362 362 414 1300 0 8951 0 6208 19494 0

N.S.

1 1.00 1.14 3.59 0.00 24.73 0.00 17.15 53.85 0.00

time (sec)

N/A 2.498 1.103 0.043 0.000 15.053 0.000 6.811 6.543 0.001

Problem 69

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

346 346 382 1182 0 8991 0 6356 19589 0

N.S.

1 1.00 1.10 3.42 0.00 25.99 0.00 18.37 56.62 0.00

time (sec)

N/A 1.896 1.081 0.040 0.000 17.136 0.000 6.973 6.552 0.001

Problem 70

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F B F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

399 399 444 1575 0 13111 0 7182 28164 0

N.S.

1 1.00 1.11 3.95 0.00 32.86 0.00 18.00 70.59 0.00

time (sec)

N/A 2.203 1.319 0.048 0.000 40.367 0.000 7.093 6.862 0.001

Problem 71

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

575 575 548 2180 0 0 0 8660 36097 0

N.S.

1 1.00 0.95 3.79 0.00 0.00 0.00 15.06 62.78 0.00

time (sec)

N/A 9.906 1.797 0.065 0.000 0.000 0.000 8.591 7.370 0.001

Problem 72

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

68 68 62 56 58 82 61 63 57 0

N.S.

1 1.00 0.91 0.82 0.85 1.21 0.90 0.93 0.84 0.00

time (sec)

N/A 0.126 0.028 0.017 0.602 1.416 0.172 0.362 0.056 0.001

Problem 73

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

61 61 61 51 53 77 56 58 53 0

N.S.

1 1.00 1.00 0.84 0.87 1.26 0.92 0.95 0.87 0.00

time (sec)

N/A 0.118 0.027 0.016 0.719 1.641 0.171 0.323 0.039 0.001

Problem 74

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

54 54 54 46 48 72 48 53 47 0

N.S.

1 1.00 1.00 0.85 0.89 1.33 0.89 0.98 0.87 0.00

time (sec)

N/A 0.108 0.024 0.016 1.075 1.225 0.173 0.367 0.897 0.001

Problem 75

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 49 41 43 67 44 45 43 0

N.S.

1 1.00 1.00 0.84 0.88 1.37 0.90 0.92 0.88 0.00

time (sec)

N/A 0.086 0.022 0.015 0.514 1.181 0.174 0.390 0.038 0.001

Problem 76

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

42 42 42 36 38 57 36 40 37 0

N.S.

1 1.00 1.00 0.86 0.90 1.36 0.86 0.95 0.88 0.00

time (sec)

N/A 0.049 0.017 0.016 0.522 1.235 0.166 0.354 0.049 0.001

Problem 77

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

44 44 44 38 44 71 41 47 40 0

N.S.

1 1.00 1.00 0.86 1.00 1.61 0.93 1.07 0.91 0.00

time (sec)

N/A 0.077 0.022 0.016 0.724 1.470 0.183 0.377 0.041 0.000

Problem 78

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

55 55 50 45 53 92 51 53 50 0

N.S.

1 1.00 0.91 0.82 0.96 1.67 0.93 0.96 0.91 0.00

time (sec)

N/A 0.104 0.025 0.017 0.792 1.345 0.205 0.374 0.044 0.001

Problem 79

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

64 64 56 50 56 97 56 66 55 0

N.S.

1 1.00 0.88 0.78 0.88 1.52 0.88 1.03 0.86 0.00

time (sec)

N/A 0.111 0.027 0.019 0.679 1.216 0.213 0.341 0.919 0.001

Problem 80

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

70 70 71 56 58 79 68 58 58 0

N.S.

1 1.00 1.01 0.80 0.83 1.13 0.97 0.83 0.83 0.00

time (sec)

N/A 0.085 0.044 0.012 1.639 1.340 0.210 0.331 0.952 0.001

Problem 81

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

57 57 58 49 51 74 54 51 50 0

N.S.

1 1.00 1.02 0.86 0.89 1.30 0.95 0.89 0.88 0.00

time (sec)

N/A 0.082 0.048 0.012 1.621 1.309 0.207 0.314 0.054 0.001

Problem 82

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

56 56 57 46 48 69 54 48 48 0

N.S.

1 1.00 1.02 0.82 0.86 1.23 0.96 0.86 0.86 0.00

time (sec)

N/A 0.073 0.042 0.013 1.635 1.103 0.210 0.306 0.918 0.001

Problem 83

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

49 49 50 41 43 64 48 43 42 0

N.S.

1 1.00 1.02 0.84 0.88 1.31 0.98 0.88 0.86 0.00

time (sec)

N/A 0.066 0.038 0.011 1.633 1.312 0.207 0.340 0.068 0.001

Problem 84

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

48 48 46 38 40 59 46 40 40 0

N.S.

1 1.00 0.96 0.79 0.83 1.23 0.96 0.83 0.83 0.00

time (sec)

N/A 0.028 0.040 0.012 1.529 1.515 0.203 0.339 0.072 0.001

Problem 85

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

53 53 51 43 45 68 49 45 45 0

N.S.

1 1.00 0.96 0.81 0.85 1.28 0.92 0.85 0.85 0.00

time (sec)

N/A 0.073 0.049 0.013 1.554 1.160 0.219 0.384 0.070 0.001

Problem 86

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

62 62 56 48 52 79 56 52 51 0

N.S.

1 1.00 0.90 0.77 0.84 1.27 0.90 0.84 0.82 0.00

time (sec)

N/A 0.084 0.051 0.015 1.597 0.609 0.240 0.386 0.923 0.001

Problem 87

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

69 69 61 53 57 84 61 57 57 0

N.S.

1 1.00 0.88 0.77 0.83 1.22 0.88 0.83 0.83 0.00

time (sec)

N/A 0.090 0.058 0.017 1.764 1.021 0.254 0.343 0.916 0.001

Problem 88

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

76 76 77 58 62 89 66 62 61 0

N.S.

1 1.00 1.01 0.76 0.82 1.17 0.87 0.82 0.80 0.00

time (sec)

N/A 0.100 0.055 0.016 1.528 1.297 0.276 0.450 0.074 0.001

Problem 89

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 71 64 71 114 75 61 70 0

N.S.

1 1.00 0.88 0.79 0.88 1.41 0.93 0.75 0.86 0.00

time (sec)

N/A 0.112 0.056 0.013 1.584 1.232 0.258 0.317 0.059 0.001

Problem 90

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 66 62 68 109 76 58 68 0

N.S.

1 1.00 0.82 0.78 0.85 1.36 0.95 0.72 0.85 0.00

time (sec)

N/A 0.100 0.054 0.013 1.914 1.322 0.256 0.414 0.052 0.001

Problem 91

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

75 75 60 56 63 104 70 53 63 0

N.S.

1 1.00 0.80 0.75 0.84 1.39 0.93 0.71 0.84 0.00

time (sec)

N/A 0.091 0.061 0.013 1.850 1.187 0.255 0.324 0.928 0.001

Problem 92

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 55 54 60 99 65 50 59 0

N.S.

1 1.00 0.76 0.75 0.83 1.38 0.90 0.69 0.82 0.00

time (sec)

N/A 0.068 0.058 0.011 1.527 0.690 0.262 0.345 0.928 0.001

Problem 93

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 56 53 60 99 66 50 60 0

N.S.

1 1.00 0.78 0.74 0.83 1.38 0.92 0.69 0.83 0.00

time (sec)

N/A 0.066 0.061 0.013 1.744 1.397 0.251 0.379 0.071 0.001

Problem 94

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

72 72 56 53 60 99 65 50 59 0

N.S.

1 1.00 0.78 0.74 0.83 1.38 0.90 0.69 0.82 0.00

time (sec)

N/A 0.037 0.059 0.013 1.671 1.270 0.248 0.328 0.070 0.001

Problem 95

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

79 79 63 58 65 108 71 55 65 0

N.S.

1 1.00 0.80 0.73 0.82 1.37 0.90 0.70 0.82 0.00

time (sec)

N/A 0.103 0.065 0.014 1.797 1.269 0.276 0.338 0.920 0.001

Problem 96

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 78 64 72 119 76 62 71 0

N.S.

1 1.00 0.91 0.74 0.84 1.38 0.88 0.72 0.83 0.00

time (sec)

N/A 0.119 0.059 0.016 1.527 0.963 0.293 0.361 0.923 0.001

Problem 97

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 93 73 68 77 124 82 67 77 0

N.S.

1 1.00 0.78 0.73 0.83 1.33 0.88 0.72 0.83 0.00

time (sec)

N/A 0.134 0.076 0.015 1.737 1.249 0.312 0.356 0.935 0.001

Problem 98

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

86 86 78 74 71 95 87 76 75 0

N.S.

1 1.00 0.91 0.86 0.83 1.10 1.01 0.88 0.87 0.00

time (sec)

N/A 0.135 0.045 0.010 1.333 1.137 0.183 1.018 0.901 0.001

Problem 99

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

81 81 73 69 66 90 80 71 69 0

N.S.

1 1.00 0.90 0.85 0.81 1.11 0.99 0.88 0.85 0.00

time (sec)

N/A 0.127 0.030 0.009 1.824 1.121 0.185 1.169 0.051 0.001

Problem 100

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

74 74 66 64 59 85 73 66 65 0

N.S.

1 1.00 0.89 0.86 0.80 1.15 0.99 0.89 0.88 0.00

time (sec)

N/A 0.121 0.029 0.009 1.585 1.052 0.180 1.090 0.045 0.001

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

65 65 61 59 54 80 68 54 60 0

N.S.

1 1.00 0.94 0.91 0.83 1.23 1.05 0.83 0.92 0.00

time (sec)

N/A 0.105 0.026 0.010 1.718 1.001 0.181 1.184 0.919 0.001

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

58 58 58 54 49 70 60 49 69 0

N.S.

1 1.00 1.00 0.93 0.84 1.21 1.03 0.84 1.19 0.00

time (sec)

N/A 0.067 0.022 0.010 1.406 1.330 0.179 1.133 0.048 0.001

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

66 66 93 58 55 84 65 62 59 0

N.S.

1 1.00 1.41 0.88 0.83 1.27 0.98 0.94 0.89 0.00

time (sec)

N/A 0.108 0.062 0.012 1.685 0.840 0.198 1.103 0.907 0.001

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

71 71 97 63 66 105 76 66 68 0

N.S.

1 1.00 1.37 0.89 0.93 1.48 1.07 0.93 0.96 0.00

time (sec)

N/A 0.134 0.050 0.013 1.427 1.190 0.212 1.072 0.061 0.001

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

80 80 105 68 71 110 80 79 72 0

N.S.

1 1.00 1.31 0.85 0.89 1.38 1.00 0.99 0.90 0.00

time (sec)

N/A 0.137 0.060 0.014 2.381 1.067 0.226 1.165 0.060 0.001

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A A A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

87 87 110 73 76 115 85 84 78 0

N.S.

1 1.00 1.26 0.84 0.87 1.32 0.98 0.97 0.90 0.00

time (sec)

N/A 0.149 0.066 0.014 2.474 1.215 0.241 1.165 0.065 0.001

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

248 248 145 427 0 519 71 585 171 0

N.S.

1 1.00 0.58 1.72 0.00 2.09 0.29 2.36 0.69 0.00

time (sec)

N/A 0.345 0.172 0.119 0.000 1.306 0.611 1.887 0.106 0.001

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

237 237 132 419 0 476 1205 576 164 0

N.S.

1 1.00 0.56 1.77 0.00 2.01 5.08 2.43 0.69 0.00

time (sec)

N/A 0.293 0.158 0.032 0.000 1.304 1.360 1.851 0.943 0.001

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

232 232 129 416 0 508 60 573 162 0

N.S.

1 1.00 0.56 1.79 0.00 2.19 0.26 2.47 0.70 0.00

time (sec)

N/A 0.292 0.159 0.030 0.000 1.376 0.615 1.854 0.095 0.001

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

225 225 121 412 0 459 51 566 156 0

N.S.

1 1.00 0.54 1.83 0.00 2.04 0.23 2.52 0.69 0.00

time (sec)

N/A 0.297 0.164 0.034 0.000 1.222 0.602 1.825 0.958 0.001

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

224 224 115 408 0 454 1185 565 153 0

N.S.

1 1.00 0.51 1.82 0.00 2.03 5.29 2.52 0.68 0.00

time (sec)

N/A 0.215 0.264 0.029 0.000 1.408 1.291 1.818 0.127 0.001

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

229 229 126 414 0 471 1192 572 159 0

N.S.

1 1.00 0.55 1.81 0.00 2.06 5.21 2.50 0.69 0.00

time (sec)

N/A 0.310 0.176 0.033 0.000 1.347 1.323 1.937 0.136 0.001

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

238 238 131 419 0 528 60 579 165 0

N.S.

1 1.00 0.55 1.76 0.00 2.22 0.25 2.43 0.69 0.00

time (sec)

N/A 0.335 0.291 0.035 0.000 1.362 0.653 1.851 0.137 0.001

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

245 245 140 424 0 496 1202 584 171 0

N.S.

1 1.00 0.57 1.73 0.00 2.02 4.91 2.38 0.70 0.00

time (sec)

N/A 0.329 0.290 0.034 0.000 1.445 1.332 1.785 0.143 0.001

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

243 243 156 429 0 561 1204 588 184 0

N.S.

1 1.00 0.64 1.77 0.00 2.31 4.95 2.42 0.76 0.00

time (sec)

N/A 0.360 0.216 0.035 0.000 1.355 1.350 2.694 0.111 0.001

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

242 242 155 426 0 557 82 585 182 0

N.S.

1 1.00 0.64 1.76 0.00 2.30 0.34 2.42 0.75 0.00

time (sec)

N/A 0.310 0.204 0.033 0.000 1.380 0.680 2.588 0.942 0.001

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

235 235 138 422 0 551 71 580 176 0

N.S.

1 1.00 0.59 1.80 0.00 2.34 0.30 2.47 0.75 0.00

time (sec)

N/A 0.300 0.317 0.035 0.000 1.389 0.656 2.612 0.992 0.001

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

238 238 129 418 0 546 1198 577 173 0

N.S.

1 1.00 0.54 1.76 0.00 2.29 5.03 2.42 0.73 0.00

time (sec)

N/A 0.290 0.297 0.032 0.000 1.402 1.306 2.600 0.146 0.001

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

246 246 133 418 0 570 1200 577 174 0

N.S.

1 1.00 0.54 1.70 0.00 2.32 4.88 2.35 0.71 0.00

time (sec)

N/A 0.284 0.297 0.032 0.000 1.352 1.332 2.688 1.012 0.001

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B B B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

248 248 129 418 0 576 1195 577 173 0

N.S.

1 1.00 0.52 1.69 0.00 2.32 4.82 2.33 0.70 0.00

time (sec)

N/A 0.254 0.291 0.032 0.000 1.335 1.337 2.618 1.008 0.001

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

253 253 140 424 0 630 75 582 179 0

N.S.

1 1.00 0.55 1.68 0.00 2.49 0.30 2.30 0.71 0.00

time (sec)

N/A 0.343 0.366 0.034 0.000 1.387 0.672 3.266 0.993 0.001

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C B F B A B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

262 262 139 429 0 652 80 589 185 0

N.S.

1 1.00 0.53 1.64 0.00 2.49 0.31 2.25 0.71 0.00

time (sec)

N/A 0.366 0.315 0.036 0.000 1.042 0.689 2.991 1.022 0.001

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F(-2) A F(-1) A B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

149 149 142 357 0 486 0 146 1834 0

N.S.

1 1.00 0.95 2.40 0.00 3.26 0.00 0.98 12.31 0.00

time (sec)

N/A 0.295 0.116 0.006 0.000 1.593 0.000 1.898 1.685 0.001

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

594 594 721 3028 0 0 0 10761 47339 0

N.S.

1 1.00 1.21 5.10 0.00 0.00 0.00 18.12 79.70 0.00

time (sec)

N/A 14.113 2.641 0.060 0.000 0.000 0.000 9.953 4.731 0.001

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

471 471 575 2300 0 0 0 9170 36589 0

N.S.

1 1.00 1.22 4.88 0.00 0.00 0.00 19.47 77.68 0.00

time (sec)

N/A 6.662 1.946 0.047 0.000 0.000 0.000 8.921 4.218 0.001

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

449 449 512 1760 0 0 0 8913 32587 0

N.S.

1 1.00 1.14 3.92 0.00 0.00 0.00 19.85 72.58 0.00

time (sec)

N/A 2.867 1.651 0.053 0.000 0.000 0.000 8.514 5.821 0.001

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

460 460 529 2045 0 0 0 9176 40860 0

N.S.

1 1.00 1.15 4.45 0.00 0.00 0.00 19.95 88.83 0.00

time (sec)

N/A 2.791 2.434 0.055 0.000 0.000 0.000 8.303 7.761 0.001

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A B F F(-1) F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

542 542 612 2503 0 0 0 10422 51386 0

N.S.

1 1.00 1.13 4.62 0.00 0.00 0.00 19.23 94.81 0.00

time (sec)

N/A 7.265 2.153 0.067 0.000 0.000 0.000 9.055 8.467 0.001

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B F

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

20 20 20 21 31 31 0 58 31 0

N.S.

1 1.00 1.00 1.05 1.55 1.55 0.00 2.90 1.55 0.00

time (sec)

N/A 0.036 0.141 0.010 1.028 1.057 0.000 0.609 1.098 0.362

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A F(-1) A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

210 278 265 145 295 138 0 269 287 615

N.S.

1 1.32 1.26 0.69 1.40 0.66 0.00 1.28 1.37 2.93

time (sec)

N/A 0.315 1.379 0.009 1.026 1.360 0.000 0.894 1.645 0.371

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A C A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

159 213 232 109 217 104 367 194 215 477

N.S.

1 1.34 1.46 0.69 1.36 0.65 2.31 1.22 1.35 3.00

time (sec)

N/A 0.189 1.069 0.007 1.062 1.246 135.140 0.749 1.494 0.286

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A C A A A C A B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

109 149 194 73 139 71 350 121 143 329

N.S.

1 1.37 1.78 0.67 1.28 0.65 3.21 1.11 1.31 3.02

time (sec)

N/A 0.122 0.691 0.006 1.032 1.394 90.666 0.626 1.377 0.210

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C A A C F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

93 151 217 143 105 80 304 0 161 199

N.S.

1 1.62 2.33 1.54 1.13 0.86 3.27 0.00 1.73 2.14

time (sec)

N/A 0.165 0.880 0.042 1.004 1.337 91.279 0.000 2.949 0.196

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A B C A A C F(-2) B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

99 155 233 163 123 98 270 0 422 223

N.S.

1 1.57 2.35 1.65 1.24 0.99 2.73 0.00 4.26 2.25

time (sec)

N/A 0.252 0.213 0.024 1.017 1.406 133.790 0.000 5.151 0.255

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

126 182 134 222 193 102 0 0 932 207

N.S.

1 1.44 1.06 1.76 1.53 0.81 0.00 0.00 7.40 1.64

time (sec)

N/A 0.277 0.161 0.030 1.034 1.235 0.000 0.000 10.816 0.236

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) F(-2) B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

212 248 173 306 271 137 0 0 1621 397

N.S.

1 1.17 0.82 1.44 1.28 0.65 0.00 0.00 7.65 1.87

time (sec)

N/A 0.373 0.192 0.036 1.033 1.300 0.000 0.000 20.051 0.444

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

216 245 202 273 190 134 0 208 1132 401

N.S.

1 1.13 0.94 1.26 0.88 0.62 0.00 0.96 5.24 1.86

time (sec)

N/A 0.205 0.791 0.037 1.106 1.282 0.000 0.749 23.121 0.295

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A F(-1) A B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

128 179 157 191 113 100 0 135 651 207

N.S.

1 1.40 1.23 1.49 0.88 0.78 0.00 1.05 5.09 1.62

time (sec)

N/A 0.091 0.562 0.020 1.018 1.247 0.000 0.595 12.861 0.187

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A C B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

102 155 135 148 73 90 287 257 306 192

N.S.

1 1.52 1.32 1.45 0.72 0.88 2.81 2.52 3.00 1.88

time (sec)

N/A 0.122 0.555 0.023 1.052 1.177 104.024 1.046 7.002 0.161

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A C A A C B B A

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

157 157 81 146 85 90 257 555 138 168

N.S.

1 1.00 0.52 0.93 0.54 0.57 1.64 3.54 0.88 1.07

time (sec)

N/A 0.125 0.124 0.026 1.005 1.223 116.433 1.467 2.268 0.151

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

160 160 87 82 148 76 0 1103 146 329

N.S.

1 1.00 0.54 0.51 0.92 0.48 0.00 6.89 0.91 2.06

time (sec)

N/A 0.145 0.118 0.005 1.019 1.144 0.000 2.546 1.732 0.171

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

226 226 124 118 226 110 0 1517 218 477

N.S.

1 1.00 0.55 0.52 1.00 0.49 0.00 6.71 0.96 2.11

time (sec)

N/A 0.178 0.142 0.007 1.010 1.521 0.000 4.731 1.817 0.224

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad I.A.

grade

A A A A A A F(-1) B B B

verified

N/A Yes Yes TBD TBD TBD TBD TBD TBD Yes

size

292 292 158 154 304 144 0 1931 290 615

N.S.

1 1.00 0.54 0.53 1.04 0.49 0.00 6.61 0.99 2.11

time (sec)

N/A 0.242 0.176 0.007 1.031 2.019 0.000 7.348 1.873 0.283

[next] [prev] [prev-tail] [front] [up]